361. Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
پدیدآورنده : Leo Bachmair )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
1833
362. Rewriting techniques and applications : 8th International Conference, RTA-97 Sitges, Spain, June 2-5, 1997: proceedings
پدیدآورنده : Hubert Comon )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
1232
363. Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30 1996 : proceedings
پدیدآورنده : Harald Ganzinger
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
1103
364. Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 1999 : proceedings
پدیدآورنده : Paliath Narendran, Michael Rusinowitch )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
1631
365. Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 1999, proceedings
پدیدآورنده : Paliath Narendran, Michael Rusinowitch, eds
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
267
.
R477
1999
366. Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
پدیدآورنده : Tobias Nipkow )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
1379
367. Rewriting techniques and applications: 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
267
.
I565
2001
368. Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
پدیدآورنده : Aart Middeldorp )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
2051
369. Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
پدیدآورنده : Robert Nieuwenhuis )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
2706
370. Seminumerical algorithms /
پدیدآورنده : Donald E. Knuth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Computer programming.,Computers.
371. Stable mutations for evolutionary algorithms /
پدیدآورنده : Andrzej Obuchowicz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Evolutionary programming (Computer science),Genetic algorithms.,Artificial Intelligence.,Computational Intelligence.,Evolutionary programming (Computer science),Genetic algorithms.
رده :
QA76
.
618
.
O28
2019
372. Synchronization algorithms and concurrent programming
پدیدآورنده : Taubenfeld, Gadi
کتابخانه: (سمنان)
موضوع : ، Algorithms,، Computer system programming language
رده :
QA
76
.
9
.
T3S9
373. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
پدیدآورنده : Frank Pfenning )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
4098
374. Term rewriting and applications: 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
267
.
I555
2006
375. The Desin and analysis of parallel algorithms
پدیدآورنده : Akl, Selim G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel programming )Computer science(,، Algorithms
رده :
QA
76
.
6
.
A38
1989
376. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
377. The Macintosh bible /
پدیدآورنده : Sharon Zardetto Aker.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mac OS.,Macintosh (Computer),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),Macintosh (Computer),MICROCOMPUTERS.,PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
رده :
QA76
.
8
.
M3
A4368
1998
378. The algorithm design manual /
پدیدآورنده : Steven S. Skiena.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Algorithmes.,Algorithmus,Computer,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Entwurf,Informatique.
رده :
QA76
.
9
.
A43
S55
2008
379. The art of computer programming
پدیدآورنده : Knuth, Donald Ervin,8391-, Donald E. Knuth
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer programming,، Computer algorithms
رده :
QA
76
.
6
.
K64
1997
380. The art of computer programming
پدیدآورنده : / Donald E. Knuth
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer programming,Computer algorithms,Sorting (Electronic computers),Combinations
رده :
QA76
.
6
.
K64
1973
